Service-based Modeling of Cyber-Physical Automotive Systems: A Classification of Services

نویسندگان

  • Patrik Feth
  • Rasmus Adler
چکیده

Systems of systems such as Smart Ecosystems, Cyber-Physical Systems, and the Internet of Things support flexible collaborations among heterogeneous participants with open interfaces. To assure safety in all possible collaboration scenarios, we introduced in previous work the ConSerts approach. This approach assumes that system interactions are captured via required and provided services. Considering the interaction between vehicles and infrastructure, this fundamental assumption is problematic as there is no commonly accepted approach for modeling these future Car-to-X scenarios. Existing modeling approaches in the automotive domain consider the realization of the functionality of one vehicle and typically have a functional, dataflow-oriented character. In this paper, we will derive a classification for services in order to contribute to the definition of our required service-based modeling of cyberphysical automotive systems. Keywords—automotive, Car-to-X, ConSerts, cyber-physical systems, safety, services

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling and Verifying Intelligent Automotive Cyber-Physical Systems∗

Exhaustive state space exploration based verification of cyber-physical system designs remains a challenge despite five decades of active research into formal verification. On the other hand, models of intelligent automotive cyber-physical systems continue to grow in complexity. The testing of intelligent automotive models often uses human subjects, is expensive, and can not be performed unless...

متن کامل

An Architectural Approach to Managing Heterogeneous Models for Automotive Control System Design Position submitted to Auto - CPS 2010

1. The Challenge: Heterogeneous Models Automotive systems and other cyber-physical systems are designed and analyzed using a variety of modeling formalisms and tools. Each representation highlights certain features and occludes others to make analysis tractable and to focus on particular performance attributes. Typically a particular formalism represents either the cyber or the physical element...

متن کامل

An Effective Attack-Resilient Kalman Filter-Based Approach for Dynamic State Estimation of Synchronous Machine

Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...

متن کامل

Cyber Threats Foresight Against Iran Based on Attack Vector

Cyber ​​threats have been extraordinary increased in recent years. Cyber ​​attackers, including government agencies or hackers, have made significant advances in the use of various tools for attacking target systems in some countries particularly on Islamic republic of Iran. The complexity of cyber threats and the devastating effects of them on critical systems highlights necessity of cyber thr...

متن کامل

A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems

Modern automotive vehicles represent one category of CPS (Cyber-Physical Systems) that are inherently timeand safety-critical. To justify the actions for quality-of-service adaptation and safety assurance, it is fundamental to perceive the uncertainties of system components in operation, which are caused by emergent properties, design or operation anomalies. From an industrial point of view, a ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016